1. .....................
پدیدآورنده: IFIP TC-2 Working Conference on Programming Teaching Techniques, Zakopane, Poland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming - Study and teaching-Congresses ، Electronic digital computers
رده :
QA
76
.
6
.
I18
1972
2. ......................
پدیدآورنده: Edited by A. Gunther, B. Levrat and H. Lipps
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Electronic data processing,congresses ، Electronic digital computers - Programming
رده :
QA
76
.
I567
1973
3. ALGOL 68 implementation: proceedings of the IFIP working conference on ALGOL 68 Implementation= Munich, July 20-24, 1970
پدیدآورنده: / Edited by J. E. L. Peck
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: ALGOL (Computer program language) - Congresses,Electronic digital computers - Programming - Congresses
رده :
001
.
6424
I11
1970
4. ALGOL 68 implementation; proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, July 20-24, 1970
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، ALGOL )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
5
.
I28
1970
5. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
پدیدآورنده: edited by D. Bjorner
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
86
6. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital Computers-- Programming-- Congresses
رده :
QA
76
.
6
.
W51
1979
7. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده: edited by Peter J.L. Wallis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Ada )Computer program language(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
180
8. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده: Ada Software Tools Interfaces Workshop )3891: Bath, England(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
73
.
A35
.
A34
1983
9. Advaces in theory and formal methods of computing: processingd of the thrid Imperial College Workshop, Christ Church, Oxford, 1-3 April 1996
پدیدآورنده: editors: A. Edalat, S. Jourdan, G. Mccusker
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming - Congresses
رده :
QA
76
.
6
.
A48
1996
10. Advanced course on software Engineering munich 1971. Soptware engineering: an advanced course
پدیدآورنده: F.L.Baver... )et al( edited by F.L.Bover
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Electronic digital computers - programming - congresses,، Programming language )Electronic computers( - congresses
رده :
QA
76
.
6
.
A33
1975
11. Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986
پدیدآورنده: edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
244
12. Algorithms and complexity ; new directions and recet results
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
13. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده: edited by J. F. Traub
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
14. CSL'87 lst workshop on computer science logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
15. Category theory and computer science
پدیدآورنده: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
.
6
.
C388
1987
16. Category theory and computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Electronic digital computers- Programming- Congresses►Categories (Mathematics)- Congresses
رده :
76
.
6
.
C38
17. Category theory and computer science
پدیدآورنده: / D.H. Pitt ... (et al.) (ed.)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
رده :
QA
76
.
6
.
C3882
1989
18. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده: D.H. Pitt ... )et al.( )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
19. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده: / D.H. Pitt ... (et al.) (ed.)
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
.
6
.
C3882
1989
20. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده: David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
